From 88190b5416ff66191e2d62e8cfecce560118151f Mon Sep 17 00:00:00 2001
From: "Richard M. Stallman" <rms@gnu.org>
Date: Thu, 27 May 1993 22:12:55 +0000
Subject: [PATCH] (do-install): Delete the dest dir, not the source dir, when
 they are different.

---
 Makefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.in b/Makefile.in
index 8b1371d0405..c11edcde473 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -332,7 +332,7 @@ do-install: mkdir
 	-set ${COPYDESTS} ; \
 	 for dir in ${COPYDIR} ; do \
 	   if [ `(cd $$1 ; pwd)` != `(cd $${dir} ; pwd)` ] ; then \
-	     rm -rf $${dir} ; \
+	     rm -rf $$1 ; \
 	   fi ; \
 	 done
 	-set ${COPYDESTS} ; \
-- 
2.30.2